Tootfinder

GUing: A Mobile GUI Search Engine using a Vision-Language Model
Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Binbin Xu, Pierre Louis Bernard, G\'erard Dray, Walid Maalej
https://arxiv.org/abs/2405.00145

GUing: A Mobile GUI Search Engine using a Vision-Language Model
App developers use the Graphical User Interface (GUI) of other apps as an important source of inspiration to design and improve their own apps. In recent years, research suggested various approaches to retrieve GUI designs that fit a certain text query from screenshot datasets acquired through automated GUI exploration. However, such text-to-GUI retrieval approaches only leverage the textual information of the GUI elements in the screenshots, neglecting visual information such as icons or backg…

I have a brief story to tell: Earlier this week, a large DDoS attack against 2 out of our larger set of #Tor (@…) relays - which also act as stable HSDir nodes - has managed to partially interrupt Internet traffic for the whole #JKULinz. While the attack was not huge compared to others (peak traffic around 3-4 Gbit/s, well above 1M PPS), we suspect either a nation state actor or fairly well-funded organization for 3 reasons:
* The attack was more advanced than simply saturating the upstream with bandwidth/packets, but had proper handshakes with the Tor relays, trying to cause resource exhaustion on the application level (we have seen this pattern multiple times in the last 6 months, but this one was much more massive in terms of incoming packets).
* The attack was very targeted, affecting only 2 IPs out of 25, consistently over some time. This indicates that either the position in the HSDir or specific connections or hidden services that were relayed over those nodes were the target - but note that these are only guesses, we don't have hard data on the motivation of this targeting.
* The only motivations that come to mind are either de-anonymization attacks or take-downs of particular hidden services. These do not seem to be relevant for usual ransom DDoS botnet attackers, but more for political reasons.
We have some flow data and would be interested in doing more analysis. Any ideas or correlation with other data on Tor relay attacks welcome :)
CC @…

A Sociotechnical Framework For Addressing Stigma and Designing Personalized Digital Health Products
Danielly de Paula, Daniel Juehling, Falk Uebernickel
https://arxiv.org/abs/2403.17843

A Sociotechnical Framework For Addressing Stigma and Designing Personalized Digital Health Products
Stigma, a recognized global barrier to effective disease management, impacts social interactions, resource access, and psychological well-being. In this study, we developed a patient-centered framework for deriving design requirements and interventions for health conditions subject to social stigma. This study introduces a patient-centered framework, grounded in sociotechnical systems theory, to create tailored interventions and design requirements for health conditions influenced by social sti…

A Survey on Deep Learning for Theorem Proving
Zhaoyu Li, Jialiang Sun, Logan Murphy, Qidong Su, Zenan Li, Xian Zhang, Kaiyu Yang, Xujie Si
https://arxiv.org/abs/2404.09939

A Survey on Deep Learning for Theorem Proving
Theorem proving is a fundamental aspect of mathematics, spanning from informal reasoning in mathematical language to rigorous derivations in formal systems. In recent years, the advancement of deep learning, especially the emergence of large language models, has sparked a notable surge of research exploring these techniques to enhance the process of theorem proving. This paper presents a pioneering comprehensive survey of deep learning for theorem proving by offering i) a thorough review of exi…